\(\implies\) : Immédiat via la définition d'un voisinage.
\(\impliedby\) : Immédiat en passant à l'union sur la définition de voisinage.